Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
241	148 Mathematical Sciences Department of Mathematical Sciences Terrance Quinn, Chair Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-02 22:18:36 Education Actuary Calculus Math 55 Applied mathematics Linear algebra Areas of mathematics Differential geometry Functional analysis Mathematics education Mathematical sciences Mathematics
242	Honours/MPhil CoursesCalendar Title Applied Topic A APP MTH 7048 Applied Topic B Add to Reading List Source URL: www.maths.adelaide.edu.au Language: English - Date: 2015-02-26 01:07:19 Differential calculus Differential equation Vector space Manifold Lie group Differential Space Functional analysis Partial differential equation Mathematics Algebra Differential geometry
243	A Methodology for Generating Verified Combinatorial Circuits ∗ Oleg Kiselyov Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-08-11 22:06:49 Lambda calculus Programming language implementation Digital signal processing Functional languages Computer performance Monad Fast Fourier transform FFTW Fixed-point combinator Computing Computer programming Software engineering
244	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
245	LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 83–110, 1994 c 1994 Kluwer Academic Publishers – Manufactured in The Netherlands Subcontinuations∗ ROBERT HIEB† Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-14 16:11:46 Control flow Continuations Lisp programming language Subroutines Functional programming Continuation Call-with-current-continuation Delimited continuation Lambda calculus Software engineering Computing Computer programming
246	Arity-Generic Datatype-Generic Programming Stephanie Weirich Chris Casinghino University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:01 Abstract algebra Universal algebra Functional languages Generic programming Structure Lambda calculus Map Haskell Operation Mathematics Software engineering Computing
247	1 2 Implementing Semantic Theories Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 04:07:07 Literate programming Functional languages Higher-order functions Models of computation Logic programming Unification Lambda calculus Prolog Haskell Software engineering Computing Computer programming
248	Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
249	Deformations of reducible representations of 3-manifold groups into SL2(C) Michael Heusener, Joan Porti and Eva Su´arez Peir´o Abstract Let M be a 3-manifold with torus boundary which is a rational homology circle. We Add to Reading List Source URL: math.univ-bpclermont.fr Language: English - Date: 2008-07-31 13:26:07 Differential geometry Differential topology Tangent space Valuation Möbius transformation Representation theory Differential geometry of curves Holomorphic functional calculus Orbifold Geometry Abstract algebra Mathematical analysis
250	ZU064-05-FPR rhiger-submitted 18 August 2008 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-10-17 11:56:59 Lambda calculus Type theory Data types Functional programming Logic in computer science Pattern matching Standard ML Combinatory logic Fixed-point combinator Software engineering Theoretical computer science Computing

UPDATE